Attack Graph Utilization for Wastewater Treatment Plant

In general, automation involves less human intervention, which leads to dependence on preprogrammed machines and processes that operate continually carry out numerous tasks. This predictable repeating behavior can be used advantage. Due the incorporation of Internet Things into such automated processes, these cyber–physical systems are now vulnerable cyberattacks, patterns difficult identify understand. Wastewater treatment plants (WTPs) challenging run, but process is essential since drinking water recycled extremely important obtain. The increasing susceptibility WTPs cyberattacks brought by exploitation their weaknesses poses a further challenge. Understanding system potential exploits necessary for securing systems. An attack graph utilization visualization approach presented in this paper. A formal modeling encoding were carried using structural framework (AADL). model was then continuously checked model-checker called JKind against security requirements create routes, merged an tool GraphViz.